Publications of
Jean-Paul Bahsoun, Christine Servières
Multilevel proof system for concurrent object-oriented programs
In : WS4- ECOOP’96, Linz-Austria, .
Jean-Paul Bahsoun, Stephan Merz, Christine Servières
Une logique temporelle pour les objets concurrents, et sa procédure de décision (C.E.R.T. and I.R.I.T. and L.A.A.S.)
In : Journées FAC’95 (Formalisation des Activités Concurrentes), Toulouse, .
Jean-Paul Bahsoun, Stephan Merz, Christine Servières
Modular description and verification of concurrent objects
In : First FJ Workshop in Distributed and Concurrent Objects, Tokyo, Japan, Springer-Verlag, LNCS 1107, pp. 168-187, June 1995.
Jean-Paul Bahsoun, Stephan Merz, Christine Servières
A Framework for Programming and Proving Concurrent Objects
In : WS4- EOOP94, Bologne, .
Jean-Paul Bahsoun, Christine Servières, Stephan Merz
A Framework for Programming and ProvingConcurrent Objects
In : Parallélisme, répartition et réseaux. JP Bahsoun, S Merz, C Servières (Eds.) , Hermès, 1995.
Modélisation et Vérification Orientées Objet pour les Systèmes Réactifs
Master’s Thesis, Institut National Polytechnique de Toulouse, November 1995.